Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing.

University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.

Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming Languages.

University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.

University of Edinburgh - Category theory, domain theory, logic, type theory.

Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex Adaptive Systems.

Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems

Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.

University of Cambridge - Automated reasoning, implementation and application of higher order logic.

University of Groningen - Discrete event systems and object oriented programming.